//定义一个接口，来约束state的数据类型
export interface Todo{
  id:number,
  title:string,
  isCompleted:boolean
}